例句與造句

1. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html
   為了驗(yàn)證更多的性質(zhì),我們的公理集中加入了一些新的特性,如動(dòng)態(tài)性,使我們可以推導(dǎo)協(xié)議的每個(gè)執(zhí)行步所得到的知識(shí)還有秘密性,我們?cè)诠碇屑尤肽切┨幚碇悄荏w間共享秘密的公理
2. It's difficult to find machine checkable in a sentence. 用machine checkable造句挺難的